#ifndef PP_SETUPMACHINE_H
#define PP_SETUPMACHINE_H

#include "PP_LoadCtrlSegment.h"
#include "PP_LoadCodeSegment.h"
#include "PP_LoadStaticSegment.h"
#include "PP_LoadVarSegment.h"

void PP_SetupMachine()
{
    t1B* pTemp;

    pTemp = PP_LoadCtrlSegment(tavm_file_data);
    pTemp = PP_LoadCodeSegment(pTemp);
    pTemp = PP_LoadStaticSegment(pTemp);
    pTemp = PP_LoadVarSegment(pTemp);



}

#endif


